Automatic Validation for Static Binary Translation

Binary translation is an important technique for porting programs as it allows applications for one platform to execute on another. The technique is widely used in virtual machines and emulators. However, binary translation is challenging because many delicate details, such as calling conventions and system calls, must be handled carefully to generate correct translated code. Identifying a mistranslated instruction in a program is difficult, especially when the application program is large. Therefore, it is necessary to develop an automatic tool to uncover problems incurred during translation. We have developed a new validation mechanism for static binary translation, which checks the correctness of emulated architecture state (the state of the emulated architecture) during program execution. We have also proposed additional optimizations to speed up the automatic validation process. General Terms Reliability, Validation.